5.99/6.50	unsat
