696.93/703.35	unsat
