94.70/95.32	unsat
