0.11/1.44	unsat
