92.72/96.44	unsat
