1.24/1.52	unsat
