87.41/87.70	unsat
