782.90/785.55	unsat
