2.95/4.88	unsat
