95.76/97.69	unsat
