931.74/932.25	unsat
