91.55/92.92	unsat
