710.56/714.00	unsat
