4.68/7.78	unsat
