92.08/95.55	unsat
