577.43/578.79	unsat
