92.86/96.04	unsat
