696.26/696.53	unsat
