Files
spbt/exact_solution_bt.for