1.27/3.51	unsat
