4.93/4.99	unsat
