87.29/90.07	unsat
