10.99/12.44	unsat
