1.28/2.94	unsat
