96.70/100.64	unsat
