2.99/5.81	unsat
