1.11/3.52	unsat
