2.68/3.52	unsat
