4.87/4.99	unsat
