771.37/772.93	unsat
