4.68/4.78	unsat
