4.90/4.93	unsat
