54.08/54.23	unsat
