657.92/658.10	unsat
