699.20/704.92	unsat
