95.63/97.49	unsat
