709.05/927.50	unsat
