4.88/4.95	unsat
