774.33/776.12	unsat
