1.28/3.08	unsat
