4.68/4.88	unsat
