96.09/96.44	unsat
