1.59/2.08	unsat
