704.24/706.12	unsat
