94.24/97.69	unsat
