87.41/89.92	unsat
