88.54/89.04	unsat
