92.28/95.70	unsat
