704.86/706.17	unsat
