92.41/97.95	unsat
