4.88/4.96	unsat
