691.74/696.25	unsat
