96.26/96.57	unsat
