93.51/94.72	unsat
