780.17/782.35	unsat
