1.28/2.08	unsat
