96.11/96.32	unsat
