1.18/3.51	unsat
