1.48/2.08	unsat
