1.29/3.52	unsat
