95.04/97.56	unsat
