1.59/3.08	unsat
