95.62/95.92	unsat
