765.23/766.83	unsat
