4.68/4.81	unsat
