756.70/761.75	unsat
