706.36/707.36	unsat
