94.11/97.77	unsat
