94.26/99.74	unsat
