706.83/710.82	unsat
