710.19/713.00	unsat
