96.17/96.47	unsat
