765.91/767.61	unsat
