1.69/2.44	unsat
