769.12/772.39	unsat
