54.38/54.52	unsat
