4.88/5.07	unsat
