1.28/3.51	unsat
