4.68/7.52	unsat
