706.86/706.93	unsat
