41.38/55.06	unsat
