87.17/90.41	unsat
