766.49/767.33	unsat
