4.68/4.89	unsat
