770.41/775.25	unsat
