706.94/710.17	unsat
