94.50/95.09	unsat
