54.61/74.55	unsat
