87.04/97.85	unsat
