703.79/706.04	unsat
