87.53/87.75	unsat
