7.99/10.50	unsat
